$a$ $\leq$$p$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\uparrow$($a$ ($\leq_{b}$$p$) $b$)